paris kanellakis award meaning in French

prix paris-kanellakis

He was a co-winner along with Randal Bryant, E. Allen Emerson, and Kenneth McMillan of the ACM Paris Kanellakis Award in 1999 for the development of symbolic model checking.
En 1999, il est corécipiendaire, avec Randal Bryant (en), E. Allen Emerson, et Kenneth McMillan (en) du Prix Paris Kanellakis de l'ACM pour le développement du model checking symbolique.
In 1999 Strassen was awarded the Cantor medal, and in 2003 he was co-recipient of the Paris Kanellakis Award with Robert Solovay, Gary Miller, and Michael Rabin for their work on randomized primality testing.
Il est fait ACM Fellow en 2002 En 2003, il est lauréat du prix Paris Kanellakis de l'Association for Computing Machinery avec Michael O. Rabin, Robert Solovay et Volker Strassen, pour le test de primalité de Miller-Rabin.